例文Automata-Based Programming is considered to be rather general purpose program development methodology than just another one finite state machine implementation.